Merge pull request #1784 from antonio-nino-diaz-arm/an/includes-arm
authorAntonio Niño Díaz <[email protected]>
Mon, 28 Jan 2019 10:53:29 +0000 (10:53 +0000)
committerGitHub <[email protected]>
Mon, 28 Jan 2019 10:53:29 +0000 (10:53 +0000)
plat/arm: Cleanup of includes and drivers


Trivial merge